FIB[F75,JMC] - www.SailDart.org

perm filename FIB[F75,JMC] blob sn#194386 filedate 1976-01-01 generic text, type T, neo UTF8


(DEFPROP FIB
 (LAMBDA(X)
  (IF (EQUAL X (QUOTE 0))
      (QUOTE 1)
      (IF (EQUAL X (QUOTE 1)) (QUOTE 1) (PLUS (FIB (SUB1 X)) (FIB (DIFFERENCE X (QUOTE 2)))))))
EXPR)

(DEFPROP FIB
 (NIL FIB)
VALUE)

(DEFPROP FIB
 (LAMBDA(X)
  (IF (EQUAL X (QUOTE 0))
      (QUOTE 1)
      (IF (EQUAL X (QUOTE 1)) (QUOTE 1) (PLUS (FIB (SUB1 X)) (FIB (DIFFERENCE X (QUOTE 2)))))))
EXPR)

(DEFPROP FIB
 (NIL FIB)
VALUE)